aboutdialog: Make margins more uniform

Use similar margins in the Credits and System tabs.

diff --git a/gtk/ui/gtkaboutdialog.ui b/gtk/ui/gtkaboutdialog.ui
index 1b5b5321401743e4b1ab41c20432f8503123df3f..8663225e4bfefae20897e5d841ef717ec3af2514 100644 (file)
--- a/gtk/ui/gtkaboutdialog.ui
+++ b/gtk/ui/gtkaboutdialog.ui
@@ -212,8 +212,10 @@
                             <child>
                               <object class="GtkTextView" id="system_view">
                                 <property name="editable">0</property>
-                                <property name="left-margin">8</property>
-                                <property name="right-margin">8</property>
+                                <property name="left-margin">5</property>
+                                <property name="right-margin">5</property>
+                                <property name="top-margin">5</property>
+                                <property name="bottom-margin">5</property>
                                 <property name="cursor-visible">0</property>
                                 <child>
                                   <object class="GtkGestureClick">